Join-semilattices with two-dimensional congruence amalgamation
نویسندگان
چکیده
منابع مشابه
Join-semilattices with Two-dimensional Congruence Amalgamation
We say that a 〈∨, 0〉-semilattice S is conditionally co-Brouwerian, if (1) for all nonempty subsets X and Y of S such that X ≤ Y (i.e., x ≤ y for all 〈x, y〉 ∈ X × Y ), there exists z ∈ S such that X ≤ z ≤ Y , and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X , Y , and Z ...
متن کاملCongruence Lattices of Semilattices
The main result of this paper is that the class of congruence lattices of semilattices satisfies no nontrivial lattice identities. It is also shown that the class of subalgebra lattices of semilattices satisfies no nontrivial lattice identities. As a consequence it is shown that if 5^* is a semigroup variety all of whose congruence lattices satisfy some fixed nontrivial lattice identity, then a...
متن کاملCongruence Lattices of Semilattices with Operators
We begin by recalling the general theory of adjoints on finite semilattices. A finite join semilattice with 0 is a lattice, with the naturally induced meet operation. Thus a finite lattice S can be regarded as a semilattice in two ways, either S = 〈S,+, 0〉 or S = 〈S,∧, 1〉. Given a (+, 0)-homomorphism g : S → T , define the adjoint h : T → S by h(t) = ∑ {s ∈ S : gs ≤ t} so that gs ≤ t iff s ≤ ht...
متن کاملCongruence lattices of pseudocomplemented semilattices
Congruence lattices of algebras in various varieties have been studied extensively in the literature. For example, congruence lattices (i.e. lattices of ideals) of Boolean algebras were characterized by Nachbin [18] (see also Gratzer [9] and Jonsson [16]) while congruence lattices of semilattices were investigated by Papert [19], Dean and Oehmke [4] and others. In this paper we initiate the inv...
متن کاملCongruence join semidistributivity is equivalent to a congruence identity
We show that a locally finite variety is congruence join semidistributive if and only if it satisfies a congruence identity that is strong enough to force join semidistributivity in any lattice.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 2002
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm93-2-2